L`informatique théorique est l`étude des fondements logiques et mathématiques de l`informatique. C`est une branche de la science informatique. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes)...